Aspect-Oriented Action Semantics Descriptions
نویسندگان
چکیده
منابع مشابه
The Semantics of Variables in Action Descriptions
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logic, while C+ is only propositional; expressions with variables, which are frequently used when action domains are described in C+, are merely schemas describing finite sets of causal laws that are formed according to the ...
متن کاملObject-Oriented Action Semantics Specifications
Action Semantics is a framework for the formal specification of programming languages. Two different, recently proposed approaches provide modularity to the framework, allowing for specification reusability and extension. In this work, we analyze the previous approaches, and introduce Object-Oriented Action Semantics, a new form of modular organization of Action Semantics descriptions. Object-o...
متن کاملAspect Oriented UML to ECORE Model Transformation
With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...
متن کاملSphere semantics for aspect
Sphere semantics is based on Tarski’s geometry of solids. It is evoked here to provide semantics for natural-language aspect, in particular the English progressive. Three virtues are argued for: (i) The approach extends interval semantics and omits its pitfalls, (ii) the semantics solves the imperfective puzzle, and (iii) the solution does not appeal to the strategy of eventual outcomes.
متن کاملAspect-Oriented Web Development vs. Non Aspect-Oriented Web Development
Aspect oriented programming is a way of reducing the complexity of software development, in the sense that it is easier to reason about isolated concepts. The complexity of web applications has been increasing in the last few years, mainly, because customers are requesting more and more. We think that advanced separation of concerns can be a good strategy to reduce the complexity of web applica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2008
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.03.069